/* Normal text */
body {
    font-size: 13px;
    font-family: "Sans Serif";
}

/* This is the main menu bad*/
div.userbar { 
    border-top: thin solid grey;
    border-bottom: thin solid grey;
    text-align: right;
    font-size: 12px;
}

/* This is the top bar, displaying user's full name */
div.title {
    font-size: 12px;
    background: #ddffdd;
    border: 1px solid black;
    padding: 2px;
    margin-top: 3px;
    margin-bottom: 5px;
}

div.title span.contest-over-msg {
    font-size: 15px;
    color: red;
    font-weight: bold;
}

div.title table {
    width: 100%;
}

div.title td.left-col {
    text-align: left;
    vertical-align: top;
}

div.title td.right-col {
    text-align: right;
    vertical-align: top;
}

/* Standard table with header and rows with alternating background */
table.info {
    border: 1px solid black;
    border-collapse: collapse;
    font-size: 12px;
}

table.info th {
    border: 1px solid black;
}

table.info td {
    border-left: 1px solid black;
    border-right: 1px solid black;
}

tr.info-head {
    background: #777777;
    color: white;
}

tr.info-odd {
    background: #dddddd;
}

tr.info-even {
    background: #f0f0f0;
}

/*******************************
 [Main]
********************************/
div.submitbox {
    border: thin solid black;
    padding: 5px;
    color: white;
    background-color: #777777;
    font-weight: bold;
    font-size: 13px;
}

div.errorExplanation {
    border: 1px dashed black;
    color: black;
    padding: 5px;
    margin-bottom: 5px;
    background-color: white;
}

/*******************************
 [Settings]
********************************/
table.uinfo {
    border-collapse: collapse;
    border: 1px solid black;
    font-size: 13px;
}

td.uinfo {
    vertical-align: top;
    border: 1px solid black;
    padding: 5px;
}

th.uinfo {
    background: lightgreen;
    vertical-align: top;
    text-align: right;
    border: 1px solid black;
    padding: 5px;
}

/*******************************
 [Submission]
********************************/
div.compilermsgbody {
    font-family: monospace;
}

div.task-menu {
    text-align: center;
    font-size: 13px;
    font-weight: bold;
    border-top: 1px solid black;
    border-bottom: 1px solid black;
    margin-top: 2px;
    margin-bottom: 4px;
}

/*******************************
 [Submission]
********************************/
table.taskdesc {
    border: 1px solid black;
    border-collapse: collapse;
    width: 95%;
    font-size: 13px;
}

table.taskdesc p {
    font-size: 13px;
}

table.taskdesc tr.name {
    border: 1px solid black;
    background: #aaaaaa;
    color: white;
    font-weight: bold;
    font-size: 14px;
    text-align: center;
}

table.taskdesc td.desc-odd {
    padding: 5px;
    padding-left: 20px;
    background: #fefeee;
}

table.taskdesc td.desc-even {
    padding: 5px;
    padding-left: 20px;
    background: #feeefe;
}

/**********************
 [Announcement]
***********************/

div.announcementbox {
    margin-top: 10px;
    margin-bottom: 10px;
    background: green;
    padding: 1px;
}

div.announcementbox span.title {
    font-weight: bold;
    color: white;
    padding-left: 10px;
}

div.announcement {
    margin: 2px;
    background: white;
    padding: 1px;
    padding-left: 10px;
    padding-right: 10px;
}

div.announcement p {
    font-size: 12px;
}

div.pub-info, div.pub-info p {
    text-align: right;
    font-style: italic;
    font-size: 9px;
}

/******************
  [Messages
******************/

div.message {
    padding-top: 5px;
    padding-left: 10px;
}

div.message div.body {
    border: 1px solid green;
    background: #eeffee;
    padding-left: 5px;
}

div.message div.reply-body {
    border: 1px solid black;
    background: #ffeeee;
    padding-left: 5px;
}

div.message div.stat {
    font-size: 10px;
    color: white;
    background: green;
    font-weight: bold;
}

/********************
   Registration
********************/
div.contest-title {
    color: white;
    background: #007700;
    text-align: center;
    padding: 5px;
}

div.registration-desc {
    margin-top: 5px;
    margin-bottom: 5px;
    border: solid 1px gray; 
    padding: 10px; 
    background: #f0f0f0;
}

/********************
  [Test Interface]
********************/

div.test-desc {
    border: solid 1px gray; 
    background: #f0f0f0;
    padding: 5px;
    font-size: 12px;
    margin-bottom: 5px;
}
